منابع مشابه
True Concurrency can be Traced
In this paper sets of labelled partial orders are employed as fundamental mathematical entities for modelling nondeterministic and concurrent processes thereby obtaining so-called noninterleaving semantics. Based on closures of sets of labelled partial orders, a simple recursive algebraic language with refinement is given denotational models fully abstract w.r.t. corresponding behaviourally mot...
متن کاملThe Pill Really Can Be Mightier Than the Sword: A Response to Recent Commentaries
We appreciate the four commentaries that add new material and fresh perspectives to our article “The pill is mightier than the sword.” In emphasizing the role of voluntary family planning and girls’ education as achievable strategies with a potential to make the world a more peaceable place, we did not mean to oversimplify or disregard the intrinsic complexity of human conflict. On the whole, t...
متن کاملWhy several truths can be true
In this paper, we offer a perspective on complementarity, acknowledging that it is not possible for human perception and cognition to grasp reality with unambiguous concepts or theories. Therefore, multiple concepts and perspectives are valid when they are not exaggerated beyond reasonable limits and do not claim exclusive validity. We recommend a humble stance enabling respectful dialogue betw...
متن کاملCan Knowledge Be Justified True Belief?
Knowledge was traditionally held to be justified true belief. This paper examines the implications of maintaining this view if justication is interpreted algorithmically. It is argued that if we move sufficiently far from the small worlds to which Bayesian decision theory properly applies, we can steer between the rock of fallibilism and the whirlpool of skepticism only by explicitly building i...
متن کاملCan complex systems really be simulated?
The simulation of complex systems is important in many fields of science and in real-world applications. Such systems are composed of many interacting subsystems. There might exist different software packages for simulating the individual subsystems and co-simulation refers to the simultaneous execution of multiple interacting subsystem simulators. Simulation or co-simulation, if not designed p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RöFo - Fortschritte auf dem Gebiet der Röntgenstrahlen und der bildgebenden Verfahren
سال: 2003
ISSN: 1438-9029,1438-9010
DOI: 10.1055/s-2003-37239